This paper analyses a hitherto unknown technique of using logic diagrams to create argument maps in eristic dialectics. The method was invented in the 1810s and -20s by Arthur Schopenhauer, who is considered the originator of modern eristic. This technique of Schopenhauer could be interesting for several branches of research in the field of argumentation: Firstly, for the field of argument mapping, since here a hitherto unknown diagrammatic technique is shown in order to visualise possible situations of arguments in a (...) dialogical controversy. Secondly, the art of controversy or eristic, since the diagrams do not analyse the truth of judgements and the validity of inferences, but the persuasiveness of arguments in a dialogue. (shrink)

To believe that logic has no history might at first seem peculiar today. But since the early 20th century, this position has been repeatedly conflated with logical monism of Kantian provenance. This logical monism asserts that only one logic is authoritative, thereby rendering all other research in the field marginal and negating the possibility of acknowledging a history of logic. In this paper, I will show how this and many related issues have developed, and that they are founded on only (...) one prominent statement by Kant. I will argue, however, that this statement takes on a very different meaning in a broader context of the history and philosophy of science, and that Kant and his supporters never advocated the logical monism that they are still said to hold today. (shrink)

Logic diagrams have been increasingly studied and applied for a few decades, not only in logic, but also in many other fields of science. The history of logic diagrams is an important subject, as many current systems and applications of logic diagrams are based on historical predecessors. While traditional histories of logic diagrams cite pioneers such as Leibniz, Euler, Venn, and Peirce, it is not widely known that Kant and the early Kantians in Germany and England played a crucial role (...) in popularising Euler(-type) diagrams. In this paper, the role of the Kantians in the late eighteenth and early nineteenth centuries will be analysed in more detail. It shows that diagrams (or intuition in general) were a highly contentious topic that depend on the philosophical attitude and went beyond logic to touch on issues of physics, metaphysics, linguistics and, above all, mathematics. (shrink)

The mechanistic view of computation contends that computational explanations are mechanistic explanations. Mechanists, however, disagree about the precise role that the environment – or the so-called “contextual level” – plays for computational explanations. We advance here two claims: Contextual factors essentially determine the computational identity of a computing system ; this means that specifying the “intrinsic” mechanism is not sufficient to fix the computational identity of the system. It is not necessary to specify the causal-mechanistic interaction between the system and (...) its context in order to offer a complete and adequate computational explanation. While the first claim has been discussed before, the second has been practically ignored. After supporting these claims, we discuss the implications of our contextualist view for the mechanistic view of computational explanation. Our aim is to show that some versions of the mechanistic view are consistent with the contextualist view, whilst others are not. (shrink)

The mechanistic view of computation contends that computational explanations are mechanistic explanations. Mechanists, however, disagree about the precise role that the environment – or the so-called “contextual level” – plays for computational explanations. We advance here two claims: Contextual factors essentially determine the computational identity of a computing system ; this means that specifying the “intrinsic” mechanism is not sufficient to fix the computational identity of the system. It is not necessary to specify the causal-mechanistic interaction between the system and (...) its context in order to offer a complete and adequate computational explanation. While the first claim has been discussed before, the second has been practically ignored. After supporting these claims, we discuss the implications of our contextualist view for the mechanistic view of computational explanation. Our aim is to show that some versions of the mechanistic view are consistent with the contextualist view, whilst others are not. (shrink)

Eristic has been studied more and more intensively in recent years in philosophy, law, communication theory, logic, proof theory, and A.I. Nevertheless, the modern origins of eristic, which almost all current researchers see in the philosopher Arthur Schopenhauer, are considered to be a theory of the illegitimate use of logical and rhetorical devices. Thus, eristic seems to violate the norms of discourse ethics. In this paper, I argue that this interpretation of eristic is based on prejudices that contradict the original (...) intention of modern eristic. Eristic is not an art of being right or winning an argument, but an art of protecting oneself from the one who deliberately violates norms of discourse ethics to gain argumentative acceptance. For this reason, eristic must be seen as a discipline of Enlightenment philosophy and a correlate of discourse ethics. Especially in the age of alternative facts and post-factual politics, this makes eristic a valuable discipline. (shrink)

In this paper, we present and defend an analysis of harm that we call the Negative Influence on Well-Being Account (NIWA). We argue that NIWA has a number of significant advantages compared to its two main rivals, the Counterfactual Comparative Account (CCA) and the Causal Account (CA), and that it also helps explain why those views go wrong. In addition, we defend NIWA against a class of likely objections, and consider its implications for several questions about harm and its role (...) in normative theorizing. (shrink)

Logic diagrams have seen a resurgence in their application in a range of fields, including logic, biology, media science, computer science and philosophy. Consequently, understanding the history and philosophy of these diagrams has become crucial. As many current diagrammatic systems in logic are based on ideas that originated in the 18th and 19th centuries, it is important to consider what motivated the use of logic diagrams in the past and whether these reasons are still valid today. This paper proposes that (...) transcendental philosophy was a key inspiration for the development of logic diagrams and that such diagrams can be employed in transcendental arguments, even after the linguistic turn. (shrink)

This chapter examines the dividing line between combatants and civilians during contemporary asymmetric conflicts against nonstate actors, the preeminent type of military conflict in this age of global terrorism. Although the dividing line between combatant and civilian is well explored in both the legal and philosophical literatures, this chapter examines the subject explicitly through the lens of necessity. In particular it conentrates on the difficulty of sorting out civilians from combatants when an individual may cross the line at will, and (...) may be involved in exercises such as serving as a human shield. The chapter concludes that the fundamental element of status, which is the foundation for status-based targeting and status-based detention, is starting to break down in contemporary asymmetric conflicts. (shrink)

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse on logic. (...) -/- Beginning with Schopenhauer’s philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer’s anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer’s philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. -/- Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer’s work as it relates to modern mathematical and logical study. (shrink)

This work is a systematic investigation of a range of solutions offered today for the philosophical problem of mental causation. The premises constituting the problem are analyzed before a survey is developed of the most popular theories on mental causation. It is demonstrated in detail why most of these canonical solutions must be considered deficient. In a third part, the 'new compatibilist's' approach to mental causation is explored, which is characterized by assertion of a non-identity-but-non-distinctness principle. The last part aims (...) to offer an alternative solution to the problem. On the basis of a certain set of counterfactual conditionals, which are jointly taken to provide a definition of 'causal proportionality' that improves the existing definitions, it is shown that a specific, and hitherto widely neglected, version of causal overdeterminationism must be considered the most successful solution to the problem of mental causation. (shrink)

Ein Beispiel für die Rezeption und Fortführung der schopenhauerschen Logik findet man in den Mathematiklehrbüchern Friedrich Adolph Wilhelm Diesterwegs (1790–1866), In diesem Aufsatz werden die historische und systematische Dimension dieser Anwendung von Logikdiagramme auf die Mathematik skizziert. In Kapitel 2 wird zunächst die frühe Rezeption der schopenhauerschen Logik und Philosophie der Mathematik vorgestellt. Dabei werden einige oftmals tradierte Vorurteile, die das Werk Schopenhauers betreffen, in Frage gestellt oder sogar ausgeräumt. In Kapitel 3 wird dann die Philosophie der Mathematik und der (...) Logik Schopenhauers vorgestellt. Es wird gezeigt, dass Schopenhauers Logikdiagramme auf Ideen der Mathematiker Leonhard Euler (1707–1783), Bernhard Friedrich Thibaut (1775–1832) und Franz Ferdinand Schweins (1780–1856) zurückgehen und dass Schopenhauer diese Logikdiagramme auch bereits zur Analyse mathematischer Begriffe verwendet. Kapitel 4 beschäftigt sich mit der Schopenhauer-Rezeption Diesterwegs. Es wird die Frage behandelt, inwieweit Diesterweg in der Mathematik von Schopenhauer beeinflusst war und welche Rolle dieser Einfluss auf sein Verständnis von Logik und Mathematik hatte. In Kapitel 5 wird schließlich gezeigt, dass Diesterweg die schopenhauersche Begriffsanalyse der Mathematik mit Hilfe von Logikdiagrammen aufgreift und weiterführt. Da Diesterweg einer der einflussreichsten Pädagogen und Mathematikdidaktiker des 20. Jahrhunderts war, ist anzunehmen, dass sich Spuren dieser Methode noch heute finden lassen. Inwiefern dies wahrscheinlich ist, wird in der Zusammenfassung (Kapitel 6) thematisiert. (shrink)

The paper examines Schopenhauer’s complex diagrams from the Berlin Lectures of the 1820 s, which show certain partitions of classes. Drawing upon ideas and techniques from logical geometry, we show that Schopenhauer’s partition diagrams systematically give rise to a special type of Aristotelian diagrams, viz. (strong) α -structures.

Reism or concretism are the labels for a position in ontology and semantics that is represented by various philosophers. As Kazimierz Ajdukiewicz and Jan Woleński have shown, there are two dimensions with which the abstract expression of reism can be made concrete: The ontological dimension of reism says that only things exist; the semantic dimension of reism says that all concepts must be reduced to concrete terms in order to be meaningful. In this paper we argue for the following two (...) theses: (1) Arthur Schopenhauer has advocated a reistic philosophy of language which says that all concepts must ultimately be based on concrete intuition in order to be meaningful. (2) In his semantics, Schopenhauer developed a theory of logic diagrams that can be interpreted by modern means in order to concretize the abstract position of reism. Thus we are not only enhancing Jan Woleński’s list of well-known reists, but we are also adding a diagrammatic dimension to concretism, represented by Schopenhauer. (shrink)

Further to the recent handover of the Naval School of Mechanics (ESMA), Argentina’s most notorious centre for the clandestine torture and assassination of leftist militants under the dictatorship of 1976–83, to the city of Buenos Aires, in order to create on the premises a ‘Space for Memory’, debates on the proper commemoration of the recent past have gained momentum. In the course of these, it has become clear that there is currently no consensus among the human rights organizations, let alone (...) Argentine society at large, on how the former sites of state terrorism can be adequately ‘recovered’, or what the purpose and function of such a recovery might be. Rather than as a shortcoming, however, this impossibility of closure, and of the monumentalization of a social consensus about the past in museal forms, might be taken as an opportunity to problematize some of the politics and material poetics underpinning the contemporary ‘memorial museum’. The article therefore analyses the principal arguments and positions voiced in the debate about ESMA with a view to their attitudes (explicit or implicit) towards the museum-form as such, and the conclusions that might be derived from these in the context of contemporary debates about ‘postmemory’, ‘secondary witnessing’ and the politics of empathy at the museum. (shrink)

How can we conceive of the relation between technologies of image-making and the formations of political power, without reducing the former to merely superstructural effects of a pre-existing ideology or deducing the latter from the functional determination inherent in technical apparatuses? In this article, I revisit the notion of the state as a visual form I proposed in an earlier work, arguing that in order to understand the articulation between politics and visuality in modernity we need to pay attention to (...) the performance of showing and seeing that mediates between the spectacle and spectatorship. To grasp the way in which historical change impacts on this constellation, in particular in the transition from photographic to cinematic regimes of visuality between the late 19th and early 20th century, I take these questions through two rather different ‘case studies’: photographer Juan Gutiérrez’s images of Brazilian state rituals in the mid-1890s and Jorge Luis Borges’s short story ‘The Aleph’ of 1949. Whereas Gutiérrez’s photographic series, I argue, announces the cinema and its ways of mobilizing actors and spectators alike, as the limit of a 19th-century visuality primed on the stability and self-enclosedness of viewers and objects, Borges’s story retrospectively enacts the transition from photographic to cinematic seeing in an intratextual battle of acts of transcription from the impossible object at the centre of the plot, which grants infinite, universal visibility to the one who beholds it. Reading the two together, or against one another, then, allows us to see the dimension of transience undercutting the apparent solidity and timelessness with which scopic regimes promise us access to the real. (shrink)

Logicians commonly speak in a relatively undifferentiated way about pre-euler diagrams. The thesis of this paper, however, is that there were three periods in the early modern era in which euler-type diagrams (line diagrams as well as circle diagrams) were expansively used. Expansive periods are characterized by continuity, and regressive periods by discontinuity: While on the one hand an ongoing awareness of the use of euler-type diagrams occurred within an expansive period, after a subsequent phase of regression the entire knowledge (...) about the systematic application and the history of euler-type diagrams was lost. I will argue that the first expansive period lasted from Vives (1531) to Alsted (1614). The second period began around 1660 with Weigel and ended in 1712 with lange. The third period of expansion started around 1760 with the works of Ploucquet, euler and lambert. Finally, it is shown that euler-type diagrams became popular in the debate about intuition which took place in the 1790s between leibnizians and Kantians. The article is thus limited to the historical periodization between 1530 and 1800. (shrink)

This article defends three claims. First, that collection and division in the Phaedrus are described as procedures that underlie human speaking and thinking in general, as well as philosophical inquiry, and are not identified with either. Second, that what sets the dialectical use of these procedures apart from their ordinary use are philosophical suppositions independent of the procedures of collection and division themselves; for that reason, collection and division cannot be identified with dialectic as such. Third, that the second part (...) of the Phaedrus is concerned with the broader question how noble or beautiful speaking, in general, may be said to depend on dialectic as much as it is concerned with the question how rhetoric, as a kind of expertise, is related to dialectic. (shrink)

In recent years CL diagrams inspired by Lange’s Cubus Logicus have been used in various contexts of diagrammatic reasoning. However, whether CL diagrams can also be used as a formal system seemed questionable. We present a CL diagram as a formal system, which is a fragment of propositional logic. Syntax and semantics are presented separately and a variant of bitstring semantics is applied to prove soundness and completeness of the system.

John Martin Fischer and Anthony L. Brueckner have argued that a person’s death is, in many cases, bad for him, whereas a person’s prenatal non-existence is not bad for him. Their suggestion relies on the idea that death deprives the person of pleasant experiences that it is rational for him to care about, whereas prenatal non-existence only deprives him of pleasant experiences that it is not rational for him to care about. In two recent articles in The Journal of Ethics, (...) I have objected that it is irrelevant what it is in fact rational for the person to care about. Fischer and Brueckner have replied to my critique. In this paper I respond to their latest pair of replies. (shrink)

In this paper, we analyze and discuss Schopenhauer’s n-term diagrams for eristic dialectics from a graph-theoretical perspective. Unlike logic, eristic dialectics does not examine the validity of an isolated argument, but the progression and persuasiveness of an argument in the context of a dialogue or even controversy. To represent these dialogue situations, Schopenhauer created large maps with concepts and Euler-type diagrams, which from today’s perspective are a specific form of graphs. We first present the original method with Euler-type diagrams, then (...) give the most important graph-theoretical definitions, then discuss Schopenhauer’s diagrams graph-theoretically and finally give an example of how the graphs or diagrams can be used to analyze dialogues. (shrink)

Nowadays, the forms assumed by knowledge indicate an unhinging of traditional structures conceived on the model of discipline. Consequently, what was once strictly disciplinary becomes interdisciplinary, what was homogeneous becomes heterogeneous and what was hierarchical becomes heterarchical. When we look for a matrix of interdisciplinarity, that is to say, a primary basis or an essential dimension of all the complex phenomena we are surrounded by, we see the need to break with the disciplinary self-restraint in which, often completely inadvertently, many (...) of us lock ourselves up, remaining anchored to our own competences, ignoring what goes beyond our own sphere of reference. However, interdisciplinarity is still a vague concept and a much demanding practice. It presupposes the continuous search for convergent theoretical perspectives and methodologies, and the definition of common spaces and languages, as well as a true dialogical and open mind of several scholars. From ethics to science, from communication to medicine, from climate change to human evolution the volume Controversies and Interdisciplinarity offers a series of original insights beyond disciplinary fragmentation for a new knowledge model. (shrink)

This review article discusses some problems and needs for clarification that are connected with the use of the concepts culture, language, tool, and communication in Daniel Everett's recently published book, Language: The Cultural Tool . It also discusses whether the idea of biological readiness and preparedness for language (rather than grammar) can really be disposed of as a result of Everett's very convincing arguments against a specific genetic predisposition for the syntactic component of a grammar. Finally, it calls into question (...) whether Everett really is true to his professed ideology of scientific ideographical pragmatism. (shrink)

It is argued that Wallace Chafe's approach of relating studies of mind and consciousness to studies of real spoken language interaction is precisely what is needed in linguistics and psycholinguistics. However, the way Chafe attempts to establish the link between spoken language and consciousness is, in several respects, in need of clarification. The paper critically examines several of Chafe's claims and points to areas — e.g., the notions of 'consciousness', 'intonation unit', and 'new idea' — where clarification or possible revision (...) is needed. (shrink)

It is argued that Wallace Chafe's approach of relating studies of mind and consciousness to studies of real spoken language interaction is precisely what is needed in linguistics and psycholinguistics. However, the way Chafe attempts to establish the link between spoken language and consciousness is, in several respects, in need of clarification. The paper critically examines several of Chafe's claims and points to areas — e.g., the notions of 'consciousness', 'intonation unit', and 'new idea' — where clarification or possible revision (...) is needed. (shrink)

Cet article interroge la co-construction des concepts de race, de sexe et de reproduction dans l’histoire naturelle et l’élevage des animaux au xviiie siècle. L’analyse porte sur l’article « Serin des Canaries » de l’Histoire naturelle de Buffon. Il s’agit, dans un premier temps, d’examiner la signification sociale et culturelle de l’élevage de ces oiseaux à Paris au xviiie siècle, particulièrement populaire parmi les femmes aisées. Dans un deuxième temps, l’analyse se focalise sur l’article de Buffon pour montrer comment les (...) descriptions scientifiques des différences sexuelles chez les animaux conduisent à la naturalisation des différences humaines, à travers ce que nous appelons un « cercle anthropocentrique de naturalisation ». Dans un troisième temps, nous montrons comment les deux catégories de sexe et de race sont construites l’une par rapport à l’autre dans l’histoire naturelle de Buffon et dans l’élevage des animaux de l’époque. (shrink)

It is little known that Schopenhauer (1788–1860) made thorough use of Euler diagrams in his works. One specific diagram depicts a high number of concepts in relation to Good and Evil. It is, hence, uncharacteristic as logicians of that time seldom used diagrams for more than three terms (the number demanded by syllogisms). The objective of this paper is to make sense of this diagram by explaining its function and inquiring whether it could be viewed as an early serious attempt (...) to construct complex diagrams. (shrink)

This paper discusses the relevance of models for cognitive science that integrate mechanistic and computational aspects. Its main hypothesis is that a model of a cognitive system is satisfactory and explanatory to the extent that it bridges phenomena at multiple mechanistic levels, such that at least several of these mechanistic levels are shown to implement computational processes. The relevant parts of the computation must be mapped onto distinguishable entities and activities of the mechanism. The ideal is contrasted with two other (...) accounts of modeling in cognitive science. The first has been presented by David Marr in combination with a distinction of “levels of computation”. The second builds on a hierarchy of “mechanistic levels” in the sense of Carl Craver. It is argued that neither of the two accounts secures satisfactory explanations of cognitive systems. The mechanistic-computational ideal can be thought of as resulting from a fusion of Marr’s and Craver’s ideals. It is defended as adequate and plausible in light of scientific practice, and certain metaphysical background assumptions are discussed. (shrink)

IntroductionIf we were to identify the beginning of the study of visual argumentation, we would have to choose 1996 as the starting point. This was the year that Leo Groarke published “Logic, art and argument” in Informal logic, and it was the year that he and David Birdsell co-edited a special double issue of Argumentation and Advocacy on visual argumentation . Among other papers, the issue included Anthony Blair’s “The possibility and actuality of visual arguments”. It was also the year (...) that Gail J. Chryslee, Sonja K. Foss and Arthur L. Ranney published their short text on “The construction of claims in visual argumentation” , stating that even though theorists may know a great deal about the process of argumentation, “virtually none of this knowledge is applicable to visual argumentation […] because of the properties that distinguish visual imagery from discursive symbols” .Texts on visual rhetoric have been written as far back as the early 1980s, .. (shrink)

A prominent objection to the counterfactual comparative account of harm is that it classifies as harmful some events that are, intuitively, mere failures to benefit. In an attempt to solve this problem, Duncan Purves has recently proposed a novel version of the counterfactual comparative account, which relies on a distinction between making upshots happen and allowing upshots to happen. In this response, we argue that Purves’s account is unsuccessful. It fails in cases where an action makes the subject occupy a (...) high well-being level though one of the available alternatives would have made it even higher. In fact, it fails even in some cases where each of the available alternatives to the action that was actually performed would have made the subject’s well-being level lower. (shrink)

According to the “deprivation approach,” a person’s death is bad for her to the extent that it deprives her of goods. This approach faces the Lucretian problem that prenatal non-existence deprives us of goods just as much as death does, but does not seem bad at all. The two most prominent responses to this challenge—one of which is provided by Frederik Kaufman (inspired by Thomas Nagel) and the other by Anthony Brueckner and John Martin Fischer—claim that prenatal non-existence is relevantly (...) different from death. This paper criticizes these responses. (shrink)

Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of thought to establish foundational principles of transcendental philosophy was groundbreaking in the late eighteenth and early nineteenth century and is still crucial for many areas of theoretical philosophy and logic in general today. Nevertheless, contemporaries have already noted that Fichte’s derivation of foundational principles from the law of identity is problematic, since Fichte lacked the tools to correctly (...) present the formal parts of Foundations. In this paper, however, we argue that Fichte’s approach intuitively offers an important contribution to transcendental philosophy, and especially to philosophy of logic. We first point out the difficulties of Fichte’s logic in the Foundations and improve it in a second part on the basis of a formal system in which both propositional logic and syllogistic are combined. (shrink)

The paper examines Schopenhauer’s complex diagrams from the Berlin Lectures of the 1820 s, which show certain partitions of classes. Drawing upon ideas and techniques from logical geometry, we show that Schopenhauer’s partition diagrams systematically give rise to a special type of Aristotelian diagrams, viz. (strong) α -structures.

In light of the problem of logical omniscience, some scholars have argued that belief is question-sensitive: agents don't simply believe propositions but rather believe answers to questions. Hoek (2022) has recently developed a version of this approach on which a belief state is a "web" of questions and answers. Here, we present several challenges to Hoek's question-sensitive account of belief. First, Hoek's account is prone to very similar logical omniscience problems as those he claims to address. Second, the link between (...) belief and action he proposes is too rigid. We close by sketching a generalization of the account that can meet these challenges. (shrink)

Extensions of traditional syllogistics have been increasingly researched in philosophy, linguistics, and areas such as artificial intelligence and computer science in recent decades. This is mainly due to the fact that syllogistics is seen as a logic that comes very close to natural language abilities. Various forms of extended syllogistics have become established. This paper deals with the question to what extent a syllogistic representation in CL diagrams can be seen as a form of extended syllogistics. It will be shown (...) that the ontology of CL enables numerically exact assertions and inferences. (shrink)

This paper presents an analysis of Seneca's 58th letter to Lucilius and Porphyry's Isagoge, which were the origin of the tree diagrams that became popular in philosophy and logic from the early Middle Ages onwards. These diagrams visualise the extent to which a concept can be understood as a category, genus, species or individual and what the method of dihairesis (division) means. The paper explores the dissimilarities between Seneca's and Porphyry's tree structures, scrutinising them through the perspective of modern graph (...) theory. Although traditional trees can be interpreted in a modern way, their terms and definitions defy modern standardisation. These distinctions are not only useful for differentiating between Seneca's and Porphyry's trees, but also for comprehending the evolution of this philosophical tradition. Thus the paper highlights the continued significance of these tree diagrams in analysing concepts and categories in philosophy and structuring objects and information in modern fields such as artificial intelligence, computer science, bioinformatics, graph theory, and many more. (shrink)

Emily Thomas's seminal book The Meaning of Travel has brought the philosophy of travel back into the public eye in recent years. Thomas has shown that the topic of travel can be approached from numerous different perspectives, ranging from the historical to the conceptual‐analytical, to the political or even social‐philosophical perspectives. This article introduces another perspective, which Thomas only indirectly addresses, namely the argumentation‐theoretical perspective. It is notable that contemporary philosophy of travel lacks the nineteenth‐century approach of using diagrams and (...) maps to examine arguments for and against travel. Since this approach starts with Schopenhauer, we first introduce his argument maps, discuss their advantages and disadvantages, and argue that a modified version is suitable to visualize and analyze arguments for and against traveling as presented in Thomas's work. (shrink)

In early modernity, one can find many spatial logic diagrams whose geometric forms share a family resemblance with religious art and symbols. The family resemblance these diagrams bear in form is often based on a vesica piscis or on a cross: Both logic diagrams and spiritual symbols focus on the intersection or conjunction of two or more entities, e.g. subject and predicate, on the one hand, or god and man, on the other. This paper deals with the development and function (...) of logic diagrams, their analogy to religious art and symbols, and their modern application in artificial intelligence. (shrink)

I raise two objections against Christian List and Peter Menzies' influential account of high-level causation. Improving upon some of Stephen Yablo's earlier work, I develop an alternative theory which evades both objections. The discussion calls into question List and Menzies' main contention, namely, that the exclusion principle, applied to difference-making, is false.

In this article I discuss the question of whether a person’s existence can be better (or worse) for him than his non-existence. Recently, Nils Holtug and Melinda A. Roberts have defended an affirmative answer. These defenses, I shall argue, do not succeed. In different ways, Holtug and Roberts have got the metaphysics and axiology wrong. However, I also argue that a person’s existence can after all be better (or worse) for him than his non-existence, though for reasons other than those (...) provided by Holtug and Roberts. (shrink)

The question of naturalness in logic is widely discussed in today’s research literature. On the one hand, naturalness in the systems of natural deduction is intensively discussed on the basis of Aristotelian syllogistics. On the other hand, research on “natural logic” is concerned with the implicitly existing logical laws of natural language, and is therefore also interested in the naturalness of syllogistics. In both research areas, the question arises what naturalness exactly means, in logic as well as in language. We (...) show, however, that this question is not entirely new: In his Berlin Lectures of the 1820s, Arthur Schopenhauer already discussed in depths what is natural and unnatural in logic. In particular, he anticipates two criteria for the naturalness of deduction that meet current trends in research: (1) Naturalness is what corresponds to the actual practice of argumentation in everyday language or scientific proof; (2) Naturalness of deduction is particularly evident in the form of Euler-type diagrams. (shrink)

The paper presents the diagrammatic calculus CL, which combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. In its basic form, `CL' (= Cubus Logicus) organizes terms in the form of a square or cube. By applying the arrows of the square of opposition to CL, judgments and inferences can be displayed. Thus CL offers on the one hand an intuitive method to display ontologies and on the other hand a diagrammatic tool to check inferences. The paper focuses (...) mainly on the adaptation of the square of opposition in CL and offers an algebraic notation, which corresponds to the diagrammatic representation. (shrink)